Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
791	Address Verification - USPS Add to Reading List Source URL: das.nebraska.gov Language: English - Date: 2010-03-12 15:15:34 United States Postal Service ZIP code Collecting Address Post-office box Oracle Database Postal address verification Coding Accuracy Support System Postal system Philately Software
792	December 1994 Publication Number[removed]EPA 540/R[removed]PB94[removed]VALIDATION STRATEGY FOR Add to Reading List Source URL: www.epa.gov Language: English - Date: 2014-10-20 20:13:40 Validity Ethology Statistical models Economic model Validation Regression model validation Scientific modelling Software development process Verification and validation Statistics Science Pharmaceutical industry
793	December 1994 Publication Number[removed]EPA 540/R[removed]PB94[removed]VALIDATION STRATEGY FOR Add to Reading List Source URL: epa.gov Language: English - Date: 2014-10-20 20:13:40 Validity Ethology Statistical models Economic model Validation Regression model validation Scientific modelling Software development process Verification and validation Statistics Science Pharmaceutical industry
794	Florida Tax Mobile App GT-300014A N[removed]  Certificate Verification Functionality Add to Reading List Source URL: dor.myflorida.com Language: English - Date: 2014-08-27 13:09:40 Computing Software Local taxation Use tax Public key certificate Tax IOS Mobile apps Android Smartphones State taxation in the United States Computer architecture
795	E 4 ALBERT EMBANKMENT LONDON SE1 7SR Telephone: +[removed]7611 Fax: +[removed]3210 Add to Reading List Source URL: www.imo.org Language: English - Date: 2012-06-21 06:41:33 Validity Software testing Long-range identification and tracking Water transport Manufacturing Integration testing Software development process Verification and validation Validation Technology Science Pharmaceutical industry
796	A Quick Introduction to NPSTORET v.1.86 NPSTORET v[removed]Figure 1) is a complete water quality database management system that allows users to enter information about their water quality monitoring Projects, Stations, Me Add to Reading List Source URL: nrdata.nps.gov Language: English - Date: 2014-07-02 12:23:52 User interface techniques GUI widget Microsoft Access Metadata Verification and validation Geographic information system Control key Form Software Computing Data management
797	Appendix N: ISPAM Guidelines for Validation of Qualitative Binary Chemistry Methods Table of Contents Page Add to Reading List Source URL: www.nebih.gov.hu Language: English Scientific method Evaluation methods Measurement AOAC International Qualitative research Verification and validation Mass spectrometry software Data analysis Detection limit Science Chemistry Analytical chemistry
798	Black-Box Security Testing for Web Applications and Services Dennis Appelt Software Verification and Validation Laboratory 17, December, 2013 Add to Reading List Source URL: www.fnr.lu Language: English Computer network security Computing Hacking Vulnerability Security testing Attack Oracle Corporation Web application security scanner Software testing Computer security Cyberwarfare
799	LNCS[removed]ExpliSAT: Guiding SAT-Based Software Verification with Explicit States Add to Reading List Source URL: www.kroening.com Language: English - Date: 2014-05-11 10:56:05 Static single assignment form Model checking Algorithm Computing Compiler construction Abstract interpretation Symbolic execution
800	Published in Autonomous Robots,32(3):303–331, April[removed]DOI: [removed]s10514[removed]y The final publication is available at www.springerlink.com Guaranteeing Functional Safety: Design for Provability and Computer-Ai Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2012-03-27 11:02:15 Safety Software development Robot kinematics Formal methods Velocity obstacle Collision detection Formal verification Correctness Robotics Theoretical computer science Applied mathematics Mathematics

UPDATE